简体版 English
تسجيل الدخول إنشاء حساب جديد

second-order logic معنى

يبدو
"second-order logic" أمثلة على
الترجمة العربيةجوال إصدار
  • منطق الرتبة الثانية
أمثلة
  • Second-order logic is in turn extended by higher-order logic and type theory.
    يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط.
  • Second-order logic extends first-order logic by adding the latter type of quantification.
    يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.